DIRECT PRODUCT BRANCHING PROCESSES AND RELATED MARKOV CHAINS

Self-similar branching Markov chains

The main purpose of this work is to study self-similar branching Markov chains. First we will construct such a process. Then we will establish certain Limit Theorems using the theory of self-similar Markov processes.

Recurrence for Branching Markov Chains

The question of recurrence and transience of branching Markov chains is more subtle than for ordinary Markov chains; they can be classified in transience, weak recurrence, and strong recurrence. We review criteria for transience and weak recurrence and give several new conditions for weak recurrence and strong recurrence. These conditions make a unified treatment of known and new examples possi...

Markov Chains and Jump Processes

Comparative branching-time semantics for Markov chains

This paper presents various semantics in the branching-time spectrum of discrete-time and continuous-time Markov chains (DTMCs and CTMCs). Strong and weak bisimulation equivalence and simulation pre-orders are covered and are logically characterised in terms of the temporal logics PCTL and CSL. Apart from presenting various existing branching-time relations in a uniform manner, our contribution...

Poisson representations of branching Markov and measure-valued branching processes

Representations of measure-valued processes in terms of countable systems of particles are constructed for models with spatially varying birth and death rates. Each particle has a location and a “level,” but unlike earlier constructions, the levels change with time. In fact, death of a particle occurs only when the level of the particle hits infinity. For each time t the joint distribution of l...